A systematic mapping of test case generation techniques using UML interaction diagrams
نویسندگان
چکیده
منابع مشابه
Efficient test case generation for validation of UML activity diagrams
Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bo...
متن کاملApproaches for Test Case Generation from UML Diagrams
Model based testing (MBT) is an important approach with many advantages that can reduce the cost and increase the effectiveness and quality of a testing procedure. In MBT, test cases can be derived from different models, also from the popularly used UML diagrams. Different UML diagrams include various important pieces of information that can be successfully used in a testing procedure. A lot of...
متن کاملAutomatic Test Generation from UML Sequence Diagrams
Automatic generation of test cases for functional testing is a challenging task. It involves complex sub tasks such as capturing user scenarios, parsing user scenarios to generate test cases, ensuring test coverage criteria, test script generation from test cases, test execution and report generation. In this paper, a method is proposed to generate test cases after parsing Sequence diagram and ...
متن کاملTest cases generation from UML state diagrams
The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and conc...
متن کاملUsing UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models of software (such as control ow graphs), and speci cations/requirements. UML collaboration diagrams represent a signi cant opportunity for testing because they precisely describe how the functions the software provide...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software: Evolution and Process
سال: 2019
ISSN: 2047-7473,2047-7481
DOI: 10.1002/smr.2235